Assumptions: self-dual, ℵ₁-cofiltered limits
Conclusions: ℵ₁-filtered colimits
Proof: This holds by self-duality.